Directed algebraic topology and higher dimensional transition systems
نویسندگان
چکیده
Cattani–Sassone’s notion of higher dimensional transition system is interpreted as a small-orthogonality class of a locally finitely presentable topological category of weak higher dimensional transition systems. In particular, the higher dimensional transition system associated with the labelled n-cube turns out to be the free higher dimensional transition system generated by one n-dimensional transition. As a first application of this construction, it is proved that a localization of the category of higher dimensional transition systems is equivalent to a locally finitely presentable reflective full subcategory of the category of labelled symmetric precubical sets. A second application is to Milner’s calculus of communicating systems (CCS): the mapping taking process names in CCS to flows is factorized through the category of higher dimensional transition systems. The method also applies to other process algebras and to topological models of concurrency other than flows.
منابع مشابه
Directed Algebraic Topology and Higher Dimensional Transition System
Cattani-Sassone’s notion of higher dimensional transition system is interpreted as a small-orthogonality class of a locally finitely presentable topological category of weak higher dimensional transition systems. In particular, the higher dimensional transition system associated with the labelled n-cube turns out to be the free higher dimensional transition system generated by one n-dimensional...
متن کاملCategorically-algebraic topology and its applications
This paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. It incorporates the most important settings of lattice-valued topology, including poslat topology of S.~E.~Rodabaugh, $(L,M)$-fuzzy topology of T.~Kubiak and A.~v{S}ostak, and $M$-fuzzy topology on $L$-fuzzy sets of C.~Guido. Moreover, its respe...
متن کاملON ALGEBRAIC AND COALGEBRAIC CATEGORIES OF VARIETY-BASED TOPOLOGICAL SYSTEMS
Motivated by the recent study on categorical properties of latticevalued topology, the paper considers a generalization of the notion of topological system introduced by S. Vickers, providing an algebraic and a coalgebraic category of the new structures. As a result, the nature of the category TopSys of S. Vickers gets clari ed, and a metatheorem is stated, claiming that (latticevalu...
متن کاملAlgebraic Topology Foundations of Supersymmetry and Symmetry Breaking in Quantum Field Theory and Quantum Gravity: A Review
A novel algebraic topology approach to supersymmetry (SUSY) and symmetry breaking in quantum field and quantum gravity theories is presented with a view to developing a wide range of physical applications. These include: controlled nuclear fusion and other nuclear reaction studies in quantum chromodynamics, nonlinear physics at high energy densities, dynamic Jahn–Teller effects, superfluidity, ...
متن کاملDirected Algebraic Topology, Categories and Higher Categories
Directed Algebraic Topology is a recent field, deeply linked with Category Theory. A ‘directed space’ has directed homotopies (generally non reversible), directed homology groups (enriched with a preorder) and fundamental n-categories (replacing the fundamental ngroupoids of the classical case). On the other hand, directed homotopy can give geometric models for lax higher categories. Applicatio...
متن کامل